翻訳と辞書 Words near each other ・ Paracogia ・ Paracolax ・ Paracolax tristalis ・ Paracolic gutters ・ Paracolobus ・ Paracolpodes ・ Paracombe, South Australia ・ Paracomeron aurivilliusi ・ Paracomistis ・ Paracomitas ・ Paracomitas augusta ・ Paracomitas undosa ・ Paracommando ATk Company ・ Paracomotis ・ Paracomp ・ Paracompact space ・ Paracompact uniform honeycombs ・ Paracompsa ・ Paracompsa flavofasciata ・ Paracompsa latifascia ・ Paracompsosoma humerale ・ Paracomucha ・ Paraconalia ・ Paraconalia brasiliensis ・ Paraconalia rufopygidialis ・ Paracondeellum ・ Paracondyloides flavofasciatus ・ Paracone ・ Paraconger ・ Paraconger guianensis Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Paracompact space ： ウィキペディア英語版 Paracompact space In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by . Every compact space is paracompact. Every paracompact Hausdorff space is normal, and a Hausdorff space is paracompact if and only if it admits partitions of unity subordinate to any open cover. Sometimes paracompact spaces are defined so as to always be Hausdorff. Every closed subspace of a paracompact space is paracompact. While compact subsets of Hausdorff spaces are always closed, this is not true for paracompact subsets. A space such that every subspace of it is a paracompact space is called hereditarily paracompact. This is equivalent to requiring that every open subspace be paracompact. Tychonoff's theorem (which states that the product of any collection of compact topological spaces is compact) does not generalize to paracompact spaces in that the product of paracompact spaces need not be paracompact. However, the product of a paracompact space and a compact space is always paracompact. Every metric space is paracompact. A topological space is metrizable if and only if it is a paracompact and locally metrizable Hausdorff space. ==Paracompactness== A ''cover'' of a set ''X'' is a collection of subsets of ''X'' whose union contains ''X''. In symbols, if U = is an indexed family of subsets of ''X'', then U is a cover of ''X'' if :$X\; \backslash subseteq\; \backslash bigcup\_U\_.$ A cover of a topological space ''X'' is ''open'' if all its members are open sets. A ''refinement'' of a cover of a space ''X'' is a new cover of the same space such that every set in the new cover is a subset of some set in the old cover. In symbols, the cover V = is a refinement of the cover U = if and only if, for any ''V''β in V, there exists some ''U''α in U such that ''V''β⊆''U''α. An open cover of a space ''X'' is ''locally finite'' if every point of the space has a neighborhood that intersects only finitely many sets in the cover. In symbols, U = is locally finite if and only if, for any ''x'' in ''X'', there exists some neighbourhood ''V''(''x'') of ''x'' such that the set :$\backslash left\backslash$ is finite. A topological space ''X'' is now said to be paracompact if every open cover has a locally finite open refinement. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Paracompact space」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.